@article(
DKM,	Author="Dwork, C. and Kanellakis, P. and Mitchell, J.C.",
	key="Dwork, Kanellakis and Mitchell 84",
	Title="On the Sequential Nature of Unification",
	Journal="J. Logic Programming",
	Volume="1", year="1984", pages="35-50")